//]]>
Unhighlight Highlight
Database and XML Technologies by Lee, Mong Li. Publication: . VI, 156p. 59 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logics in Artificial Intelligence by Janhunen, Tomi. Publication: . XIV, 374p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Bouajjani, Ahmed. Publication: . VIII, 404p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business Process Management by Hull, Richard. Publication: . XIII, 359p. 140 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing – Practice and Research Techniques by Bottaci, Leonardo. Publication: . XIII, 219p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming – CP 2010 by Cohen, David. Publication: . XX, 650p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2010 - Concurrency Theory by Gastin, Paul. Publication: . XIII, 600p. 134 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Kučera, Antonín. Publication: . X, 199p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundational and Practical Aspects of Resource Analysis by Eekelen, Marko. Publication: . 170p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evolvable Systems: From Biology to Hardware by Tempesti, Gianluca. Publication: . XII, 394p. 228 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Chatterjee, Krishnendu. Publication: . X, 257p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science Logic by Dawar, Anuj. Publication: . XIV, 548p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and the Foundations of Game and Decision Theory – LOFT 8 by Bonanno, Giacomo. Publication: . XI, 207p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Foundations of Computer Science 2010 by Hliněný, Petr. Publication: . XVII, 714p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Architecture by Babar, Muhammad Ali. Publication: . XII, 534p. 162 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verified Software: Theories, Tools, Experiments by Leavens, Gary T. Publication: . X, 217p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fields of Logic and Computation by Blass, Andreas. Publication: . XIII, 627p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Dix, Jürgen. Publication: . XIV, 257p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Finite-State Methods and Natural Language Processing by Yli-Jyrä, Anssi. Publication: . X, 147p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Frontiers in Algorithmics by Lee, Der-Tsai. Publication: . XI, 339p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 Next >>
Languages: 
English |
العربية